Organizing Definitions and Formalisms for Dynamic Software Architectures
نویسنده
چکیده
Dynamic architectural change is defined as the addition and removal of components and connectors. Dynamic software architectures are those architectures that modify their architecture and enact the modifications during the system’s execution. This behavior is most commonly known as run-time evolution or dynamism. As dynamic software architecture use becomes more widespread, it is important to gain a better understanding of this type of software evolutionary change and be able to classify formalisms, approaches and tools. Current evaluations in the areas of software architecture and evolutionary change have made strides in classification but are not sufficient to evaluate dynamic software architectures. A dedicated comparison of dynamic software architectures and architectural formalisms is necessary in order to gain a deeper understanding of run-time evolution. In this paper we present a set of classification criteria for the comparison of dynamic software architectures based on: change type, change process, and change infrastructure. We demonstrate the use of the criteria by classifying three types of dynamic software architectural change. In addition we survey 14 current approaches to the formal specification of dynamic software architectures based on graphs, process algebras, logic, and other formalisms. We then classify these approaches using the proposed criteria as well.
منابع مشابه
A Classification of Formal Specifications for Dynamic Software Architectures
Architectural change is defined as the addition and removal of components and connectors. Dynamic software architectures are those architectures that modify their architecture and enact the modifications during the system’s execution. This behavior is most commonly known as run-time evolution or dynamism. As dynamic software architecture use becomes more widespread, it is important to gain a be...
متن کاملDynamics and Mobility in Software Architecture
Dynamic adaptability and connguration of distributed software systems gain higher importance these days, as the upcoming of dynamic middleware like Jini or CORBA 3.0 seem to prove. However, todays software architecture concepts, including description techniques and methodologies are mostly static concepts. In this paper we describe some of the problems that show up by designing software systems...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملVisual Formalisms for Con guration Management
As reuse of software components becomes more commonplace, being able to understand, manipulate and reason about software system architectures acquires new importance. Although commercial software development environments have addressed many of the issues of con guration management, there is still a need for visual formalisms that can aid in representing and manipulating architectures of softwar...
متن کاملVisual formalisms for configuration management
As reuse of software components becomes more commonplace, being able to understand, manipulate and reason about software system architectures acquires new importance. Although commercial software development environments have addressed many of the issues of con guration management, there is still a need for visual formalisms that can aid in representing and manipulating architectures of softwar...
متن کامل